(1
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 123)
  ("(var3 stable)" 123 197)
  ("(var3 up)" 197 201)
  ("(var3 down)" 201 211)
  ("(var3 up)" 211 217)
  ("(var3 stable)" 217 350)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 116)
  ("(var4 stable)" 116 195)
  ("(var4 down)" 195 197)
  ("(var4 up)" 197 199)
  ("(var4 stable)" 199 239)
  ("(var4 down)" 239 335)
  ("(var4 stable)" 335 350)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 115)
  ("(var1 stable)" 115 350)
  ("(var2 stable)" 0 101)
  ("(var2 up)" 101 103)
  ("(var2 down)" 103 108)
  ("(var2 stable)" 108 151)
  ("(var2 up)" 151 244)
  ("(var2 stable)" 244 350)
 )
)
(2
 (
  ("(var3 stable)" 0 48)
  ("(var3 up)" 48 80)
  ("(var3 stable)" 80 156)
  ("(var3 up)" 156 161)
  ("(var3 down)" 161 171)
  ("(var3 up)" 171 175)
  ("(var3 stable)" 175 298)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 88)
  ("(var4 stable)" 88 171)
  ("(var4 down)" 171 261)
  ("(var4 stable)" 261 298)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 82)
  ("(var1 stable)" 82 298)
  ("(var2 stable)" 0 65)
  ("(var2 up)" 65 67)
  ("(var2 down)" 67 72)
  ("(var2 up)" 72 177)
  ("(var2 stable)" 177 298)
 )
)
(3
 (
  ("(var3 stable)" 0 29)
  ("(var3 up)" 29 62)
  ("(var3 stable)" 62 134)
  ("(var3 up)" 134 138)
  ("(var3 down)" 138 147)
  ("(var3 up)" 147 152)
  ("(var3 stable)" 152 274)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 57)
  ("(var4 stable)" 57 142)
  ("(var4 down)" 142 265)
  ("(var4 stable)" 265 274)
  ("(var1 up)" 0 2)
  ("(var1 down)" 2 4)
  ("(var1 stable)" 4 32)
  ("(var1 up)" 32 61)
  ("(var1 stable)" 61 274)
  ("(var2 stable)" 0 44)
  ("(var2 up)" 44 46)
  ("(var2 down)" 46 51)
  ("(var2 up)" 51 139)
  ("(var2 stable)" 139 141)
  ("(var2 up)" 141 171)
  ("(var2 stable)" 171 274)
 )
)
(4
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 49)
  ("(var3 down)" 49 51)
  ("(var3 up)" 51 82)
  ("(var3 stable)" 82 167)
  ("(var3 up)" 167 171)
  ("(var3 down)" 171 183)
  ("(var3 up)" 183 186)
  ("(var3 stable)" 186 334)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 49)
  ("(var4 stable)" 49 53)
  ("(var4 up)" 53 83)
  ("(var4 stable)" 83 208)
  ("(var4 down)" 208 285)
  ("(var4 stable)" 285 334)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 83)
  ("(var1 stable)" 83 334)
  ("(var2 stable)" 0 65)
  ("(var2 up)" 65 67)
  ("(var2 down)" 67 72)
  ("(var2 up)" 72 197)
  ("(var2 down)" 197 199)
  ("(var2 up)" 199 204)
  ("(var2 stable)" 204 334)
 )
)
(5
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 115)
  ("(var3 stable)" 115 199)
  ("(var3 up)" 199 202)
  ("(var3 stable)" 202 204)
  ("(var3 down)" 204 215)
  ("(var3 up)" 215 220)
  ("(var3 stable)" 220 363)
  ("(var4 stable)" 0 73)
  ("(var4 up)" 73 118)
  ("(var4 down)" 118 120)
  ("(var4 up)" 120 122)
  ("(var4 stable)" 122 124)
  ("(var4 up)" 124 126)
  ("(var4 stable)" 126 227)
  ("(var4 up)" 227 229)
  ("(var4 down)" 229 234)
  ("(var4 up)" 234 236)
  ("(var4 down)" 236 320)
  ("(var4 up)" 320 322)
  ("(var4 down)" 322 324)
  ("(var4 stable)" 324 363)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 109)
  ("(var1 stable)" 109 363)
  ("(var2 stable)" 0 94)
  ("(var2 up)" 94 96)
  ("(var2 down)" 96 101)
  ("(var2 stable)" 101 148)
  ("(var2 up)" 148 230)
  ("(var2 stable)" 230 357)
  ("(var2 down)" 357 359)
  ("(var2 stable)" 359 363)
 )
)
(6
 (
  ("(var3 stable)" 0 89)
  ("(var3 up)" 89 124)
  ("(var3 down)" 124 126)
  ("(var3 stable)" 126 210)
  ("(var3 up)" 210 213)
  ("(var3 down)" 213 223)
  ("(var3 up)" 223 231)
  ("(var3 stable)" 231 367)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 129)
  ("(var4 stable)" 129 245)
  ("(var4 down)" 245 332)
  ("(var4 stable)" 332 367)
  ("(var1 stable)" 0 86)
  ("(var1 down)" 86 88)
  ("(var1 up)" 88 124)
  ("(var1 stable)" 124 367)
  ("(var2 stable)" 0 107)
  ("(var2 up)" 107 109)
  ("(var2 down)" 109 114)
  ("(var2 up)" 114 228)
  ("(var2 stable)" 228 367)
 )
)
(7
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 72)
  ("(var3 stable)" 72 74)
  ("(var3 up)" 74 103)
  ("(var3 stable)" 103 173)
  ("(var3 up)" 173 177)
  ("(var3 down)" 177 187)
  ("(var3 up)" 187 190)
  ("(var3 stable)" 190 311)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 99)
  ("(var4 stable)" 99 184)
  ("(var4 down)" 184 266)
  ("(var4 stable)" 266 269)
  ("(var4 down)" 269 272)
  ("(var4 stable)" 272 311)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 64)
  ("(var1 up)" 64 106)
  ("(var1 stable)" 106 311)
  ("(var2 stable)" 0 85)
  ("(var2 up)" 85 87)
  ("(var2 down)" 87 92)
  ("(var2 up)" 92 210)
  ("(var2 stable)" 210 311)
 )
)
(8
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 104)
  ("(var3 stable)" 104 181)
  ("(var3 up)" 181 185)
  ("(var3 down)" 185 196)
  ("(var3 up)" 196 201)
  ("(var3 stable)" 201 333)
  ("(var4 stable)" 0 74)
  ("(var4 up)" 74 101)
  ("(var4 stable)" 101 208)
  ("(var4 down)" 208 305)
  ("(var4 stable)" 305 333)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 103)
  ("(var1 stable)" 103 333)
  ("(var2 stable)" 0 87)
  ("(var2 up)" 87 89)
  ("(var2 down)" 89 94)
  ("(var2 up)" 94 211)
  ("(var2 stable)" 211 333)
 )
)
(9
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 109)
  ("(var3 stable)" 109 186)
  ("(var3 up)" 186 190)
  ("(var3 down)" 190 199)
  ("(var3 stable)" 199 201)
  ("(var3 up)" 201 205)
  ("(var3 stable)" 205 339)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 107)
  ("(var4 stable)" 107 215)
  ("(var4 down)" 215 304)
  ("(var4 stable)" 304 339)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 105)
  ("(var1 stable)" 105 339)
  ("(var2 stable)" 0 89)
  ("(var2 up)" 89 91)
  ("(var2 down)" 91 96)
  ("(var2 up)" 96 228)
  ("(var2 stable)" 228 334)
  ("(var2 down)" 334 336)
  ("(var2 stable)" 336 339)
 )
)
(10
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 66)
  ("(var3 stable)" 66 68)
  ("(var3 up)" 68 101)
  ("(var3 stable)" 101 183)
  ("(var3 up)" 183 186)
  ("(var3 down)" 186 197)
  ("(var3 up)" 197 201)
  ("(var3 stable)" 201 335)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 94)
  ("(var4 down)" 94 96)
  ("(var4 up)" 96 99)
  ("(var4 stable)" 99 192)
  ("(var4 down)" 192 291)
  ("(var4 stable)" 291 294)
  ("(var4 down)" 294 297)
  ("(var4 stable)" 297 335)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 101)
  ("(var1 stable)" 101 335)
  ("(var2 stable)" 0 83)
  ("(var2 up)" 83 87)
  ("(var2 down)" 87 91)
  ("(var2 stable)" 91 135)
  ("(var2 up)" 135 227)
  ("(var2 stable)" 227 335)
 )
)
(11
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 72)
  ("(var3 stable)" 72 148)
  ("(var3 up)" 148 153)
  ("(var3 down)" 153 163)
  ("(var3 up)" 163 170)
  ("(var3 stable)" 170 301)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 75)
  ("(var4 stable)" 75 167)
  ("(var4 down)" 167 253)
  ("(var4 stable)" 253 301)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 73)
  ("(var1 stable)" 73 301)
  ("(var2 stable)" 0 53)
  ("(var2 up)" 53 55)
  ("(var2 down)" 55 60)
  ("(var2 stable)" 60 102)
  ("(var2 up)" 102 184)
  ("(var2 stable)" 184 301)
 )
)
(12
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 122)
  ("(var3 stable)" 122 202)
  ("(var3 up)" 202 207)
  ("(var3 down)" 207 218)
  ("(var3 up)" 218 223)
  ("(var3 stable)" 223 359)
  ("(var4 stable)" 0 90)
  ("(var4 up)" 90 121)
  ("(var4 stable)" 121 124)
  ("(var4 up)" 124 126)
  ("(var4 stable)" 126 244)
  ("(var4 down)" 244 246)
  ("(var4 stable)" 246 248)
  ("(var4 down)" 248 324)
  ("(var4 stable)" 324 359)
  ("(var1 stable)" 0 90)
  ("(var1 up)" 90 123)
  ("(var1 down)" 123 125)
  ("(var1 up)" 125 127)
  ("(var1 stable)" 127 359)
  ("(var2 stable)" 0 107)
  ("(var2 up)" 107 109)
  ("(var2 down)" 109 114)
  ("(var2 up)" 114 240)
  ("(var2 stable)" 240 359)
 )
)
(13
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 54)
  ("(var3 up)" 54 78)
  ("(var3 stable)" 78 80)
  ("(var3 up)" 80 83)
  ("(var3 stable)" 83 163)
  ("(var3 up)" 163 166)
  ("(var3 stable)" 166 168)
  ("(var3 down)" 168 177)
  ("(var3 up)" 177 181)
  ("(var3 stable)" 181 316)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 78)
  ("(var4 down)" 78 80)
  ("(var4 up)" 80 82)
  ("(var4 stable)" 82 181)
  ("(var4 down)" 181 273)
  ("(var4 stable)" 273 316)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 83)
  ("(var1 stable)" 83 316)
  ("(var2 stable)" 0 65)
  ("(var2 up)" 65 67)
  ("(var2 down)" 67 72)
  ("(var2 up)" 72 209)
  ("(var2 stable)" 209 316)
 )
)
(14
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 74)
  ("(var3 stable)" 74 155)
  ("(var3 up)" 155 159)
  ("(var3 stable)" 159 161)
  ("(var3 down)" 161 169)
  ("(var3 stable)" 169 171)
  ("(var3 up)" 171 174)
  ("(var3 stable)" 174 314)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 76)
  ("(var4 stable)" 76 196)
  ("(var4 down)" 196 268)
  ("(var4 stable)" 268 314)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 75)
  ("(var1 stable)" 75 314)
  ("(var2 down)" 0 2)
  ("(var2 stable)" 2 58)
  ("(var2 up)" 58 60)
  ("(var2 down)" 60 65)
  ("(var2 stable)" 65 105)
  ("(var2 up)" 105 193)
  ("(var2 down)" 193 195)
  ("(var2 stable)" 195 314)
 )
)
(15
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 92)
  ("(var3 stable)" 92 168)
  ("(var3 up)" 168 172)
  ("(var3 down)" 172 184)
  ("(var3 up)" 184 187)
  ("(var3 stable)" 187 328)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 84)
  ("(var4 stable)" 84 161)
  ("(var4 down)" 161 163)
  ("(var4 up)" 163 165)
  ("(var4 stable)" 165 212)
  ("(var4 down)" 212 290)
  ("(var4 stable)" 290 328)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 93)
  ("(var1 stable)" 93 328)
  ("(var2 stable)" 0 70)
  ("(var2 up)" 70 72)
  ("(var2 down)" 72 77)
  ("(var2 up)" 77 128)
  ("(var2 stable)" 128 130)
  ("(var2 up)" 130 202)
  ("(var2 down)" 202 204)
  ("(var2 stable)" 204 328)
 )
)
(16
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 79)
  ("(var3 stable)" 79 154)
  ("(var3 up)" 154 159)
  ("(var3 down)" 159 169)
  ("(var3 up)" 169 173)
  ("(var3 stable)" 173 309)
  ("(var4 stable)" 0 44)
  ("(var4 down)" 44 46)
  ("(var4 up)" 46 69)
  ("(var4 stable)" 69 71)
  ("(var4 up)" 71 77)
  ("(var4 stable)" 77 178)
  ("(var4 down)" 178 278)
  ("(var4 stable)" 278 309)
  ("(var1 stable)" 0 41)
  ("(var1 up)" 41 74)
  ("(var1 stable)" 74 309)
  ("(var2 stable)" 0 58)
  ("(var2 up)" 58 60)
  ("(var2 down)" 60 65)
  ("(var2 up)" 65 198)
  ("(var2 stable)" 198 309)
 )
)
(17
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 66)
  ("(var3 stable)" 66 146)
  ("(var3 up)" 146 150)
  ("(var3 down)" 150 159)
  ("(var3 stable)" 159 161)
  ("(var3 up)" 161 165)
  ("(var3 stable)" 165 298)
  ("(var4 stable)" 0 25)
  ("(var4 up)" 25 74)
  ("(var4 stable)" 74 168)
  ("(var4 down)" 168 252)
  ("(var4 stable)" 252 296)
  ("(var4 up)" 296 298)
  ("(var1 stable)" 0 29)
  ("(var1 up)" 29 66)
  ("(var1 stable)" 66 298)
  ("(var2 stable)" 0 49)
  ("(var2 up)" 49 51)
  ("(var2 down)" 51 56)
  ("(var2 up)" 56 181)
  ("(var2 stable)" 181 298)
 )
)
(18
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 102)
  ("(var3 stable)" 102 176)
  ("(var3 up)" 176 180)
  ("(var3 down)" 180 191)
  ("(var3 up)" 191 195)
  ("(var3 stable)" 195 315)
  ("(var4 stable)" 0 69)
  ("(var4 up)" 69 97)
  ("(var4 stable)" 97 189)
  ("(var4 down)" 189 215)
  ("(var4 stable)" 215 217)
  ("(var4 down)" 217 221)
  ("(var4 stable)" 221 223)
  ("(var4 down)" 223 278)
  ("(var4 stable)" 278 281)
  ("(var4 down)" 281 284)
  ("(var4 stable)" 284 315)
  ("(var1 stable)" 0 68)
  ("(var1 up)" 68 96)
  ("(var1 down)" 96 98)
  ("(var1 stable)" 98 315)
  ("(var2 stable)" 0 83)
  ("(var2 up)" 83 85)
  ("(var2 down)" 85 89)
  ("(var2 up)" 89 211)
  ("(var2 stable)" 211 315)
 )
)
(19
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 75)
  ("(var3 stable)" 75 77)
  ("(var3 up)" 77 100)
  ("(var3 stable)" 100 171)
  ("(var3 up)" 171 175)
  ("(var3 down)" 175 186)
  ("(var3 up)" 186 191)
  ("(var3 stable)" 191 309)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 101)
  ("(var4 stable)" 101 196)
  ("(var4 down)" 196 279)
  ("(var4 stable)" 279 309)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 100)
  ("(var1 stable)" 100 309)
  ("(var2 stable)" 0 85)
  ("(var2 up)" 85 87)
  ("(var2 down)" 87 92)
  ("(var2 up)" 92 201)
  ("(var2 stable)" 201 309)
 )
)
(20
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 106)
  ("(var3 stable)" 106 178)
  ("(var3 up)" 178 183)
  ("(var3 down)" 183 193)
  ("(var3 up)" 193 198)
  ("(var3 stable)" 198 327)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 111)
  ("(var4 stable)" 111 187)
  ("(var4 down)" 187 222)
  ("(var4 up)" 222 224)
  ("(var4 down)" 224 287)
  ("(var4 stable)" 287 327)
  ("(var1 stable)" 0 60)
  ("(var1 up)" 60 62)
  ("(var1 down)" 62 64)
  ("(var1 up)" 64 106)
  ("(var1 stable)" 106 327)
  ("(var2 stable)" 0 85)
  ("(var2 up)" 85 89)
  ("(var2 down)" 89 94)
  ("(var2 up)" 94 199)
  ("(var2 stable)" 199 327)
 )
)
(21
 (
  ("(var3 stable)" 0 85)
  ("(var3 down)" 85 87)
  ("(var3 up)" 87 115)
  ("(var3 stable)" 115 196)
  ("(var3 up)" 196 199)
  ("(var3 stable)" 199 201)
  ("(var3 down)" 201 211)
  ("(var3 up)" 211 215)
  ("(var3 stable)" 215 355)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 116)
  ("(var4 stable)" 116 123)
  ("(var4 up)" 123 125)
  ("(var4 stable)" 125 223)
  ("(var4 down)" 223 312)
  ("(var4 stable)" 312 355)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 115)
  ("(var1 stable)" 115 355)
  ("(var2 stable)" 0 97)
  ("(var2 up)" 97 99)
  ("(var2 down)" 99 104)
  ("(var2 stable)" 104 147)
  ("(var2 up)" 147 198)
  ("(var2 stable)" 198 200)
  ("(var2 up)" 200 236)
  ("(var2 stable)" 236 355)
 )
)
(22
 (
  ("(var3 stable)" 0 91)
  ("(var3 up)" 91 93)
  ("(var3 stable)" 93 95)
  ("(var3 up)" 95 132)
  ("(var3 stable)" 132 209)
  ("(var3 up)" 209 214)
  ("(var3 down)" 214 226)
  ("(var3 up)" 226 231)
  ("(var3 stable)" 231 375)
  ("(var4 stable)" 0 91)
  ("(var4 up)" 91 125)
  ("(var4 stable)" 125 127)
  ("(var4 up)" 127 129)
  ("(var4 down)" 129 131)
  ("(var4 stable)" 131 236)
  ("(var4 down)" 236 345)
  ("(var4 stable)" 345 375)
  ("(var1 stable)" 0 92)
  ("(var1 up)" 92 126)
  ("(var1 stable)" 126 375)
  ("(var2 stable)" 0 108)
  ("(var2 up)" 108 112)
  ("(var2 down)" 112 116)
  ("(var2 up)" 116 168)
  ("(var2 stable)" 168 170)
  ("(var2 up)" 170 244)
  ("(var2 stable)" 244 375)
 )
)
(23
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 107)
  ("(var3 down)" 107 109)
  ("(var3 up)" 109 111)
  ("(var3 stable)" 111 186)
  ("(var3 up)" 186 189)
  ("(var3 down)" 189 199)
  ("(var3 up)" 199 202)
  ("(var3 stable)" 202 335)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 111)
  ("(var4 stable)" 111 196)
  ("(var4 down)" 196 291)
  ("(var4 up)" 291 293)
  ("(var4 down)" 293 295)
  ("(var4 stable)" 295 333)
  ("(var4 up)" 333 335)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 107)
  ("(var1 stable)" 107 335)
  ("(var2 stable)" 0 93)
  ("(var2 up)" 93 95)
  ("(var2 down)" 95 99)
  ("(var2 up)" 99 199)
  ("(var2 stable)" 199 205)
  ("(var2 up)" 205 211)
  ("(var2 down)" 211 213)
  ("(var2 up)" 213 216)
  ("(var2 stable)" 216 218)
  ("(var2 up)" 218 220)
  ("(var2 stable)" 220 335)
 )
)
(24
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 119)
  ("(var3 stable)" 119 201)
  ("(var3 up)" 201 205)
  ("(var3 stable)" 205 207)
  ("(var3 down)" 207 215)
  ("(var3 up)" 215 223)
  ("(var3 stable)" 223 363)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 81)
  ("(var4 up)" 81 83)
  ("(var4 stable)" 83 87)
  ("(var4 up)" 87 119)
  ("(var4 stable)" 119 239)
  ("(var4 down)" 239 241)
  ("(var4 stable)" 241 245)
  ("(var4 down)" 245 319)
  ("(var4 stable)" 319 363)
  ("(var1 stable)" 0 82)
  ("(var1 down)" 82 85)
  ("(var1 up)" 85 120)
  ("(var1 stable)" 120 363)
  ("(var2 stable)" 0 101)
  ("(var2 up)" 101 105)
  ("(var2 down)" 105 111)
  ("(var2 up)" 111 235)
  ("(var2 stable)" 235 363)
 )
)
(25
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 98)
  ("(var3 down)" 98 100)
  ("(var3 stable)" 100 179)
  ("(var3 up)" 179 185)
  ("(var3 down)" 185 198)
  ("(var3 up)" 198 202)
  ("(var3 stable)" 202 348)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 94)
  ("(var4 stable)" 94 194)
  ("(var4 up)" 194 196)
  ("(var4 down)" 196 233)
  ("(var4 up)" 233 235)
  ("(var4 down)" 235 301)
  ("(var4 stable)" 301 348)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 95)
  ("(var1 stable)" 95 348)
  ("(var2 stable)" 0 76)
  ("(var2 up)" 76 81)
  ("(var2 down)" 81 84)
  ("(var2 up)" 84 244)
  ("(var2 stable)" 244 348)
 )
)
(26
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 75)
  ("(var3 stable)" 75 163)
  ("(var3 up)" 163 168)
  ("(var3 down)" 168 179)
  ("(var3 up)" 179 185)
  ("(var3 stable)" 185 328)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 79)
  ("(var4 stable)" 79 211)
  ("(var4 down)" 211 279)
  ("(var4 stable)" 279 323)
  ("(var4 up)" 323 326)
  ("(var4 down)" 326 328)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 73)
  ("(var1 stable)" 73 328)
  ("(var2 stable)" 0 57)
  ("(var2 up)" 57 61)
  ("(var2 down)" 61 65)
  ("(var2 up)" 65 206)
  ("(var2 stable)" 206 328)
 )
)
(27
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 84)
  ("(var3 stable)" 84 162)
  ("(var3 up)" 162 168)
  ("(var3 down)" 168 177)
  ("(var3 up)" 177 181)
  ("(var3 stable)" 181 316)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 87)
  ("(var4 stable)" 87 180)
  ("(var4 down)" 180 208)
  ("(var4 stable)" 208 211)
  ("(var4 down)" 211 279)
  ("(var4 stable)" 279 316)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 89)
  ("(var1 stable)" 89 316)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 70)
  ("(var2 down)" 70 75)
  ("(var2 up)" 75 204)
  ("(var2 stable)" 204 316)
 )
)
(28
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 90)
  ("(var3 stable)" 90 177)
  ("(var3 up)" 177 182)
  ("(var3 down)" 182 192)
  ("(var3 up)" 192 199)
  ("(var3 stable)" 199 339)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 92)
  ("(var4 stable)" 92 196)
  ("(var4 down)" 196 286)
  ("(var4 stable)" 286 337)
  ("(var4 up)" 337 339)
  ("(var1 stable)" 0 54)
  ("(var1 up)" 54 93)
  ("(var1 stable)" 93 339)
  ("(var2 stable)" 0 73)
  ("(var2 up)" 73 75)
  ("(var2 down)" 75 80)
  ("(var2 stable)" 80 127)
  ("(var2 up)" 127 221)
  ("(var2 stable)" 221 225)
  ("(var2 up)" 225 227)
  ("(var2 stable)" 227 339)
 )
)
(29
 (
  ("(var3 stable)" 0 30)
  ("(var3 up)" 30 71)
  ("(var3 stable)" 71 155)
  ("(var3 up)" 155 160)
  ("(var3 down)" 160 170)
  ("(var3 up)" 170 172)
  ("(var3 stable)" 172 318)
  ("(var4 stable)" 0 35)
  ("(var4 down)" 35 37)
  ("(var4 up)" 37 82)
  ("(var4 stable)" 82 180)
  ("(var4 down)" 180 263)
  ("(var4 stable)" 263 265)
  ("(var4 down)" 265 268)
  ("(var4 stable)" 268 318)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 71)
  ("(var1 stable)" 71 318)
  ("(var2 stable)" 0 54)
  ("(var2 up)" 54 56)
  ("(var2 down)" 56 61)
  ("(var2 stable)" 61 108)
  ("(var2 up)" 108 198)
  ("(var2 down)" 198 200)
  ("(var2 up)" 200 202)
  ("(var2 down)" 202 204)
  ("(var2 up)" 204 206)
  ("(var2 stable)" 206 318)
 )
)
(30
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 110)
  ("(var3 stable)" 110 181)
  ("(var3 up)" 181 184)
  ("(var3 down)" 184 192)
  ("(var3 up)" 192 197)
  ("(var3 stable)" 197 323)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 109)
  ("(var4 stable)" 109 193)
  ("(var4 up)" 193 195)
  ("(var4 down)" 195 278)
  ("(var4 stable)" 278 323)
  ("(var1 stable)" 0 83)
  ("(var1 up)" 83 112)
  ("(var1 stable)" 112 323)
  ("(var2 stable)" 0 94)
  ("(var2 up)" 94 96)
  ("(var2 down)" 96 101)
  ("(var2 up)" 101 171)
  ("(var2 down)" 171 173)
  ("(var2 up)" 173 224)
  ("(var2 stable)" 224 323)
 )
)
(31
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 125)
  ("(var3 stable)" 125 199)
  ("(var3 up)" 199 206)
  ("(var3 down)" 206 217)
  ("(var3 up)" 217 223)
  ("(var3 stable)" 223 358)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 88)
  ("(var4 stable)" 88 90)
  ("(var4 up)" 90 130)
  ("(var4 stable)" 130 241)
  ("(var4 down)" 241 244)
  ("(var4 stable)" 244 246)
  ("(var4 down)" 246 309)
  ("(var4 up)" 309 311)
  ("(var4 stable)" 311 358)
  ("(var1 stable)" 0 86)
  ("(var1 up)" 86 121)
  ("(var1 stable)" 121 358)
  ("(var2 stable)" 0 104)
  ("(var2 up)" 104 106)
  ("(var2 down)" 106 111)
  ("(var2 up)" 111 220)
  ("(var2 down)" 220 222)
  ("(var2 up)" 222 224)
  ("(var2 stable)" 224 358)
 )
)
(32
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 97)
  ("(var3 stable)" 97 176)
  ("(var3 down)" 176 185)
  ("(var3 up)" 185 191)
  ("(var3 stable)" 191 320)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 97)
  ("(var4 stable)" 97 189)
  ("(var4 down)" 189 215)
  ("(var4 stable)" 215 219)
  ("(var4 down)" 219 294)
  ("(var4 stable)" 294 320)
  ("(var1 stable)" 0 70)
  ("(var1 down)" 70 72)
  ("(var1 up)" 72 101)
  ("(var1 stable)" 101 320)
  ("(var2 stable)" 0 84)
  ("(var2 up)" 84 88)
  ("(var2 down)" 88 90)
  ("(var2 stable)" 90 125)
  ("(var2 up)" 125 127)
  ("(var2 stable)" 127 130)
  ("(var2 up)" 130 212)
  ("(var2 stable)" 212 320)
 )
)
(33
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 100)
  ("(var3 stable)" 100 182)
  ("(var3 up)" 182 187)
  ("(var3 down)" 187 197)
  ("(var3 up)" 197 202)
  ("(var3 stable)" 202 337)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 108)
  ("(var4 stable)" 108 194)
  ("(var4 down)" 194 304)
  ("(var4 stable)" 304 337)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 102)
  ("(var1 stable)" 102 337)
  ("(var2 stable)" 0 86)
  ("(var2 up)" 86 88)
  ("(var2 down)" 88 93)
  ("(var2 stable)" 93 135)
  ("(var2 up)" 135 228)
  ("(var2 stable)" 228 337)
 )
)
(34
 (
  ("(var3 stable)" 0 102)
  ("(var3 up)" 102 133)
  ("(var3 stable)" 133 212)
  ("(var3 up)" 212 214)
  ("(var3 stable)" 214 216)
  ("(var3 up)" 216 219)
  ("(var3 stable)" 219 221)
  ("(var3 down)" 221 231)
  ("(var3 up)" 231 237)
  ("(var3 stable)" 237 373)
  ("(var4 stable)" 0 95)
  ("(var4 up)" 95 132)
  ("(var4 stable)" 132 235)
  ("(var4 down)" 235 237)
  ("(var4 up)" 237 239)
  ("(var4 down)" 239 322)
  ("(var4 stable)" 322 325)
  ("(var4 down)" 325 327)
  ("(var4 stable)" 327 371)
  ("(var4 down)" 371 373)
  ("(var1 stable)" 0 95)
  ("(var1 up)" 95 127)
  ("(var1 stable)" 127 373)
  ("(var2 stable)" 0 111)
  ("(var2 up)" 111 113)
  ("(var2 down)" 113 118)
  ("(var2 up)" 118 229)
  ("(var2 stable)" 229 371)
  ("(var2 down)" 371 373)
 )
)
(35
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 73)
  ("(var3 stable)" 73 145)
  ("(var3 up)" 145 150)
  ("(var3 down)" 150 159)
  ("(var3 stable)" 159 161)
  ("(var3 up)" 161 165)
  ("(var3 stable)" 165 297)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 65)
  ("(var4 down)" 65 67)
  ("(var4 up)" 67 72)
  ("(var4 down)" 72 74)
  ("(var4 up)" 74 77)
  ("(var4 stable)" 77 184)
  ("(var4 down)" 184 271)
  ("(var4 stable)" 271 297)
  ("(var1 stable)" 0 41)
  ("(var1 up)" 41 70)
  ("(var1 stable)" 70 297)
  ("(var2 stable)" 0 54)
  ("(var2 up)" 54 56)
  ("(var2 down)" 56 61)
  ("(var2 stable)" 61 100)
  ("(var2 up)" 100 197)
  ("(var2 stable)" 197 297)
 )
)
(36
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 67)
  ("(var3 stable)" 67 144)
  ("(var3 up)" 144 149)
  ("(var3 down)" 149 159)
  ("(var3 up)" 159 163)
  ("(var3 stable)" 163 295)
  ("(var4 stable)" 0 27)
  ("(var4 up)" 27 65)
  ("(var4 stable)" 65 181)
  ("(var4 down)" 181 245)
  ("(var4 stable)" 245 295)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 64)
  ("(var1 stable)" 64 295)
  ("(var2 stable)" 0 49)
  ("(var2 up)" 49 51)
  ("(var2 down)" 51 56)
  ("(var2 up)" 56 171)
  ("(var2 down)" 171 173)
  ("(var2 stable)" 173 295)
 )
)
(37
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 82)
  ("(var3 stable)" 82 84)
  ("(var3 up)" 84 86)
  ("(var3 stable)" 86 172)
  ("(var3 up)" 172 176)
  ("(var3 down)" 176 186)
  ("(var3 up)" 186 191)
  ("(var3 stable)" 191 335)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 47)
  ("(var4 stable)" 47 50)
  ("(var4 up)" 50 86)
  ("(var4 stable)" 86 174)
  ("(var4 down)" 174 292)
  ("(var4 stable)" 292 335)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 82)
  ("(var1 stable)" 82 335)
  ("(var2 stable)" 0 66)
  ("(var2 up)" 66 68)
  ("(var2 down)" 68 73)
  ("(var2 stable)" 73 122)
  ("(var2 up)" 122 181)
  ("(var2 stable)" 181 183)
  ("(var2 up)" 183 190)
  ("(var2 stable)" 190 222)
  ("(var2 down)" 222 224)
  ("(var2 up)" 224 227)
  ("(var2 stable)" 227 335)
 )
)
(38
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 103)
  ("(var3 stable)" 103 183)
  ("(var3 up)" 183 186)
  ("(var3 down)" 186 196)
  ("(var3 up)" 196 198)
  ("(var3 stable)" 198 326)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 112)
  ("(var4 stable)" 112 196)
  ("(var4 down)" 196 225)
  ("(var4 stable)" 225 227)
  ("(var4 down)" 227 287)
  ("(var4 stable)" 287 326)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 115)
  ("(var1 stable)" 115 326)
  ("(var2 stable)" 0 91)
  ("(var2 up)" 91 93)
  ("(var2 down)" 93 98)
  ("(var2 up)" 98 212)
  ("(var2 stable)" 212 326)
 )
)
(39
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 79)
  ("(var3 stable)" 79 155)
  ("(var3 up)" 155 161)
  ("(var3 down)" 161 171)
  ("(var3 up)" 171 174)
  ("(var3 stable)" 174 308)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 82)
  ("(var4 stable)" 82 174)
  ("(var4 down)" 174 273)
  ("(var4 stable)" 273 308)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 80)
  ("(var1 stable)" 80 308)
  ("(var2 stable)" 0 63)
  ("(var2 up)" 63 65)
  ("(var2 down)" 65 70)
  ("(var2 up)" 70 195)
  ("(var2 stable)" 195 308)
 )
)
(40
 (
  ("(var3 up)" 0 2)
  ("(var3 stable)" 2 39)
  ("(var3 up)" 39 80)
  ("(var3 down)" 80 82)
  ("(var3 up)" 82 86)
  ("(var3 stable)" 86 165)
  ("(var3 up)" 165 169)
  ("(var3 down)" 169 180)
  ("(var3 up)" 180 186)
  ("(var3 stable)" 186 327)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 95)
  ("(var4 stable)" 95 181)
  ("(var4 down)" 181 276)
  ("(var4 up)" 276 278)
  ("(var4 down)" 278 286)
  ("(var4 stable)" 286 327)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 78)
  ("(var1 stable)" 78 327)
  ("(var2 stable)" 0 65)
  ("(var2 up)" 65 67)
  ("(var2 down)" 67 72)
  ("(var2 stable)" 72 118)
  ("(var2 up)" 118 172)
  ("(var2 down)" 172 174)
  ("(var2 up)" 174 213)
  ("(var2 stable)" 213 327)
 )
)
(41
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 93)
  ("(var3 stable)" 93 169)
  ("(var3 up)" 169 174)
  ("(var3 down)" 174 184)
  ("(var3 stable)" 184 186)
  ("(var3 up)" 186 190)
  ("(var3 stable)" 190 325)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 88)
  ("(var4 stable)" 88 189)
  ("(var4 down)" 189 289)
  ("(var4 up)" 289 292)
  ("(var4 down)" 292 294)
  ("(var4 stable)" 294 325)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 99)
  ("(var1 stable)" 99 325)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 76)
  ("(var2 down)" 76 81)
  ("(var2 stable)" 81 124)
  ("(var2 up)" 124 208)
  ("(var2 stable)" 208 325)
 )
)
(42
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 110)
  ("(var3 stable)" 110 114)
  ("(var3 up)" 114 117)
  ("(var3 stable)" 117 199)
  ("(var3 up)" 199 206)
  ("(var3 down)" 206 216)
  ("(var3 up)" 216 219)
  ("(var3 stable)" 219 349)
  ("(var3 down)" 349 351)
  ("(var3 up)" 351 353)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 107)
  ("(var4 stable)" 107 213)
  ("(var4 down)" 213 351)
  ("(var4 up)" 351 353)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 108)
  ("(var1 stable)" 108 110)
  ("(var1 up)" 110 117)
  ("(var1 stable)" 117 351)
  ("(var1 up)" 351 353)
  ("(var2 stable)" 0 93)
  ("(var2 up)" 93 97)
  ("(var2 down)" 97 100)
  ("(var2 up)" 100 257)
  ("(var2 down)" 257 259)
  ("(var2 up)" 259 261)
  ("(var2 stable)" 261 349)
  ("(var2 down)" 349 351)
  ("(var2 up)" 351 353)
 )
)
(43
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 49)
  ("(var3 stable)" 49 53)
  ("(var3 up)" 53 81)
  ("(var3 stable)" 81 152)
  ("(var3 up)" 152 158)
  ("(var3 down)" 158 168)
  ("(var3 up)" 168 172)
  ("(var3 stable)" 172 302)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 48)
  ("(var4 stable)" 48 52)
  ("(var4 up)" 52 78)
  ("(var4 stable)" 78 167)
  ("(var4 down)" 167 259)
  ("(var4 stable)" 259 302)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 78)
  ("(var1 stable)" 78 302)
  ("(var2 stable)" 0 61)
  ("(var2 up)" 61 63)
  ("(var2 down)" 63 68)
  ("(var2 up)" 68 156)
  ("(var2 down)" 156 159)
  ("(var2 up)" 159 171)
  ("(var2 stable)" 171 302)
 )
)
(44
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 75)
  ("(var3 stable)" 75 151)
  ("(var3 up)" 151 156)
  ("(var3 down)" 156 165)
  ("(var3 stable)" 165 167)
  ("(var3 up)" 167 171)
  ("(var3 stable)" 171 297)
  ("(var3 down)" 297 299)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 77)
  ("(var4 stable)" 77 175)
  ("(var4 down)" 175 177)
  ("(var4 stable)" 177 179)
  ("(var4 down)" 179 270)
  ("(var4 stable)" 270 299)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 80)
  ("(var1 stable)" 80 299)
  ("(var2 stable)" 0 63)
  ("(var2 up)" 63 65)
  ("(var2 down)" 65 70)
  ("(var2 up)" 70 194)
  ("(var2 stable)" 194 299)
 )
)
(45
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 109)
  ("(var3 stable)" 109 199)
  ("(var3 up)" 199 203)
  ("(var3 down)" 203 214)
  ("(var3 up)" 214 221)
  ("(var3 stable)" 221 362)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 67)
  ("(var4 down)" 67 69)
  ("(var4 up)" 69 104)
  ("(var4 down)" 104 106)
  ("(var4 up)" 106 110)
  ("(var4 stable)" 110 212)
  ("(var4 down)" 212 332)
  ("(var4 stable)" 332 362)
  ("(var1 stable)" 0 70)
  ("(var1 up)" 70 108)
  ("(var1 stable)" 108 110)
  ("(var1 down)" 110 112)
  ("(var1 stable)" 112 362)
  ("(var2 stable)" 0 90)
  ("(var2 up)" 90 94)
  ("(var2 down)" 94 98)
  ("(var2 up)" 98 208)
  ("(var2 stable)" 208 210)
  ("(var2 up)" 210 238)
  ("(var2 stable)" 238 362)
 )
)
(46
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 100)
  ("(var3 stable)" 100 168)
  ("(var3 up)" 168 172)
  ("(var3 down)" 172 181)
  ("(var3 up)" 181 187)
  ("(var3 stable)" 187 312)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 98)
  ("(var4 stable)" 98 178)
  ("(var4 down)" 178 294)
  ("(var4 stable)" 294 312)
  ("(var1 stable)" 0 71)
  ("(var1 up)" 71 99)
  ("(var1 stable)" 99 312)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 90)
  ("(var2 stable)" 90 119)
  ("(var2 up)" 119 176)
  ("(var2 stable)" 176 179)
  ("(var2 up)" 179 183)
  ("(var2 stable)" 183 312)
 )
)
(47
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 94)
  ("(var3 stable)" 94 159)
  ("(var3 up)" 159 163)
  ("(var3 stable)" 163 165)
  ("(var3 down)" 165 172)
  ("(var3 up)" 172 177)
  ("(var3 stable)" 177 305)
  ("(var4 stable)" 0 60)
  ("(var4 up)" 60 62)
  ("(var4 down)" 62 64)
  ("(var4 up)" 64 66)
  ("(var4 stable)" 66 68)
  ("(var4 up)" 68 98)
  ("(var4 stable)" 98 186)
  ("(var4 down)" 186 259)
  ("(var4 stable)" 259 264)
  ("(var4 down)" 264 267)
  ("(var4 stable)" 267 305)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 94)
  ("(var1 down)" 94 96)
  ("(var1 up)" 96 98)
  ("(var1 stable)" 98 305)
  ("(var2 stable)" 0 77)
  ("(var2 up)" 77 79)
  ("(var2 down)" 79 82)
  ("(var2 up)" 82 235)
  ("(var2 stable)" 235 305)
 )
)
(48
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 117)
  ("(var3 stable)" 117 189)
  ("(var3 up)" 189 191)
  ("(var3 stable)" 191 193)
  ("(var3 down)" 193 201)
  ("(var3 stable)" 201 203)
  ("(var3 up)" 203 208)
  ("(var3 stable)" 208 333)
  ("(var4 stable)" 0 88)
  ("(var4 up)" 88 121)
  ("(var4 stable)" 121 221)
  ("(var4 down)" 221 224)
  ("(var4 stable)" 224 226)
  ("(var4 down)" 226 324)
  ("(var4 up)" 324 326)
  ("(var4 down)" 326 328)
  ("(var4 up)" 328 331)
  ("(var4 down)" 331 333)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 113)
  ("(var1 stable)" 113 333)
  ("(var2 stable)" 0 100)
  ("(var2 up)" 100 102)
  ("(var2 down)" 102 106)
  ("(var2 up)" 106 224)
  ("(var2 stable)" 224 333)
 )
)
(49
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 78)
  ("(var3 down)" 78 80)
  ("(var3 up)" 80 106)
  ("(var3 down)" 106 108)
  ("(var3 stable)" 108 193)
  ("(var3 up)" 193 197)
  ("(var3 stable)" 197 199)
  ("(var3 down)" 199 209)
  ("(var3 up)" 209 215)
  ("(var3 stable)" 215 358)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 110)
  ("(var4 stable)" 110 203)
  ("(var4 down)" 203 205)
  ("(var4 up)" 205 207)
  ("(var4 down)" 207 319)
  ("(var4 stable)" 319 358)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 106)
  ("(var1 stable)" 106 358)
  ("(var2 stable)" 0 92)
  ("(var2 up)" 92 96)
  ("(var2 down)" 96 99)
  ("(var2 up)" 99 250)
  ("(var2 stable)" 250 358)
 )
)
(50
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 79)
  ("(var3 stable)" 79 156)
  ("(var3 up)" 156 160)
  ("(var3 stable)" 160 162)
  ("(var3 down)" 162 171)
  ("(var3 up)" 171 177)
  ("(var3 stable)" 177 312)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 72)
  ("(var4 down)" 72 74)
  ("(var4 up)" 74 77)
  ("(var4 stable)" 77 191)
  ("(var4 down)" 191 280)
  ("(var4 stable)" 280 312)
  ("(var1 stable)" 0 41)
  ("(var1 up)" 41 43)
  ("(var1 down)" 43 45)
  ("(var1 up)" 45 77)
  ("(var1 stable)" 77 312)
  ("(var2 stable)" 0 60)
  ("(var2 up)" 60 62)
  ("(var2 down)" 62 67)
  ("(var2 up)" 67 207)
  ("(var2 stable)" 207 312)
 )
)
(51
 (
  ("(var3 stable)" 0 97)
  ("(var3 up)" 97 126)
  ("(var3 stable)" 126 217)
  ("(var3 up)" 217 219)
  ("(var3 down)" 219 221)
  ("(var3 up)" 221 226)
  ("(var3 down)" 226 237)
  ("(var3 up)" 237 242)
  ("(var3 stable)" 242 383)
  ("(var4 stable)" 0 100)
  ("(var4 up)" 100 133)
  ("(var4 stable)" 133 262)
  ("(var4 down)" 262 340)
  ("(var4 stable)" 340 383)
  ("(var1 stable)" 0 95)
  ("(var1 up)" 95 100)
  ("(var1 stable)" 100 102)
  ("(var1 up)" 102 127)
  ("(var1 stable)" 127 383)
  ("(var2 stable)" 0 113)
  ("(var2 up)" 113 115)
  ("(var2 down)" 115 120)
  ("(var2 stable)" 120 160)
  ("(var2 up)" 160 231)
  ("(var2 down)" 231 233)
  ("(var2 up)" 233 265)
  ("(var2 stable)" 265 383)
 )
)
(52
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 52)
  ("(var3 down)" 52 54)
  ("(var3 up)" 54 84)
  ("(var3 stable)" 84 166)
  ("(var3 up)" 166 170)
  ("(var3 down)" 170 180)
  ("(var3 up)" 180 186)
  ("(var3 stable)" 186 324)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 56)
  ("(var4 stable)" 56 58)
  ("(var4 up)" 58 90)
  ("(var4 stable)" 90 213)
  ("(var4 down)" 213 286)
  ("(var4 stable)" 286 324)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 51)
  ("(var1 stable)" 51 54)
  ("(var1 up)" 54 56)
  ("(var1 down)" 56 58)
  ("(var1 up)" 58 83)
  ("(var1 stable)" 83 324)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 70)
  ("(var2 down)" 70 75)
  ("(var2 up)" 75 206)
  ("(var2 stable)" 206 324)
 )
)
(53
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 72)
  ("(var3 stable)" 72 154)
  ("(var3 up)" 154 157)
  ("(var3 down)" 157 167)
  ("(var3 up)" 167 169)
  ("(var3 stable)" 169 291)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 74)
  ("(var4 stable)" 74 163)
  ("(var4 down)" 163 253)
  ("(var4 stable)" 253 291)
  ("(var1 stable)" 0 48)
  ("(var1 up)" 48 80)
  ("(var1 stable)" 80 291)
  ("(var2 stable)" 0 60)
  ("(var2 up)" 60 62)
  ("(var2 down)" 62 67)
  ("(var2 stable)" 67 103)
  ("(var2 up)" 103 169)
  ("(var2 down)" 169 171)
  ("(var2 up)" 171 173)
  ("(var2 stable)" 173 291)
 )
)
(54
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 70)
  ("(var3 stable)" 70 149)
  ("(var3 up)" 149 153)
  ("(var3 down)" 153 161)
  ("(var3 up)" 161 166)
  ("(var3 stable)" 166 296)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 76)
  ("(var4 stable)" 76 164)
  ("(var4 down)" 164 277)
  ("(var4 stable)" 277 294)
  ("(var4 up)" 294 296)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 71)
  ("(var1 stable)" 71 296)
  ("(var2 stable)" 0 54)
  ("(var2 up)" 54 56)
  ("(var2 down)" 56 61)
  ("(var2 up)" 61 178)
  ("(var2 stable)" 178 296)
 )
)
(55
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 96)
  ("(var3 stable)" 96 172)
  ("(var3 up)" 172 176)
  ("(var3 down)" 176 186)
  ("(var3 up)" 186 191)
  ("(var3 stable)" 191 319)
  ("(var4 stable)" 0 63)
  ("(var4 down)" 63 65)
  ("(var4 up)" 65 98)
  ("(var4 stable)" 98 178)
  ("(var4 up)" 178 181)
  ("(var4 down)" 181 281)
  ("(var4 stable)" 281 319)
  ("(var1 stable)" 0 68)
  ("(var1 up)" 68 101)
  ("(var1 stable)" 101 319)
  ("(var2 stable)" 0 80)
  ("(var2 up)" 80 82)
  ("(var2 down)" 82 89)
  ("(var2 up)" 89 212)
  ("(var2 stable)" 212 319)
 )
)
(56
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 70)
  ("(var3 stable)" 70 151)
  ("(var3 up)" 151 153)
  ("(var3 down)" 153 159)
  ("(var3 up)" 159 162)
  ("(var3 stable)" 162 286)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 75)
  ("(var4 stable)" 75 154)
  ("(var4 down)" 154 261)
  ("(var4 stable)" 261 286)
  ("(var1 stable)" 0 43)
  ("(var1 up)" 43 73)
  ("(var1 stable)" 73 286)
  ("(var2 stable)" 0 57)
  ("(var2 up)" 57 59)
  ("(var2 down)" 59 64)
  ("(var2 up)" 64 172)
  ("(var2 down)" 172 175)
  ("(var2 up)" 175 177)
  ("(var2 down)" 177 181)
  ("(var2 stable)" 181 286)
 )
)
(57
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 89)
  ("(var3 down)" 89 91)
  ("(var3 stable)" 91 169)
  ("(var3 up)" 169 175)
  ("(var3 down)" 175 186)
  ("(var3 up)" 186 189)
  ("(var3 stable)" 189 328)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 91)
  ("(var4 stable)" 91 178)
  ("(var4 down)" 178 302)
  ("(var4 stable)" 302 328)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 91)
  ("(var1 stable)" 91 328)
  ("(var2 stable)" 0 71)
  ("(var2 up)" 71 75)
  ("(var2 down)" 75 79)
  ("(var2 stable)" 79 126)
  ("(var2 up)" 126 174)
  ("(var2 down)" 174 176)
  ("(var2 up)" 176 207)
  ("(var2 stable)" 207 328)
 )
)
(58
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 67)
  ("(var3 stable)" 67 139)
  ("(var3 up)" 139 144)
  ("(var3 down)" 144 153)
  ("(var3 stable)" 153 155)
  ("(var3 up)" 155 159)
  ("(var3 stable)" 159 284)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 65)
  ("(var4 stable)" 65 150)
  ("(var4 down)" 150 242)
  ("(var4 stable)" 242 284)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 58)
  ("(var1 stable)" 58 284)
  ("(var2 up)" 0 48)
  ("(var2 down)" 48 52)
  ("(var2 up)" 52 175)
  ("(var2 stable)" 175 284)
 )
)
(59
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 86)
  ("(var3 down)" 86 89)
  ("(var3 up)" 89 91)
  ("(var3 stable)" 91 177)
  ("(var3 up)" 177 182)
  ("(var3 stable)" 182 184)
  ("(var3 down)" 184 193)
  ("(var3 up)" 193 199)
  ("(var3 stable)" 199 347)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 53)
  ("(var4 down)" 53 55)
  ("(var4 up)" 55 86)
  ("(var4 down)" 86 88)
  ("(var4 up)" 88 90)
  ("(var4 stable)" 90 195)
  ("(var4 down)" 195 197)
  ("(var4 up)" 197 199)
  ("(var4 down)" 199 304)
  ("(var4 stable)" 304 347)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 93)
  ("(var1 down)" 93 95)
  ("(var1 up)" 95 97)
  ("(var1 stable)" 97 347)
  ("(var2 stable)" 0 71)
  ("(var2 up)" 71 75)
  ("(var2 down)" 75 79)
  ("(var2 stable)" 79 124)
  ("(var2 up)" 124 221)
  ("(var2 down)" 221 224)
  ("(var2 up)" 224 226)
  ("(var2 stable)" 226 347)
 )
)
(60
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 68)
  ("(var3 stable)" 68 155)
  ("(var3 up)" 155 160)
  ("(var3 down)" 160 170)
  ("(var3 up)" 170 175)
  ("(var3 stable)" 175 313)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 70)
  ("(var4 stable)" 70 178)
  ("(var4 down)" 178 266)
  ("(var4 stable)" 266 313)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 69)
  ("(var1 stable)" 69 313)
  ("(var2 stable)" 0 55)
  ("(var2 up)" 55 59)
  ("(var2 down)" 59 63)
  ("(var2 stable)" 63 107)
  ("(var2 up)" 107 189)
  ("(var2 stable)" 189 313)
 )
)
(61
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 61)
  ("(var3 stable)" 61 134)
  ("(var3 up)" 134 136)
  ("(var3 down)" 136 147)
  ("(var3 up)" 147 151)
  ("(var3 stable)" 151 274)
  ("(var4 stable)" 0 30)
  ("(var4 up)" 30 60)
  ("(var4 stable)" 60 148)
  ("(var4 down)" 148 150)
  ("(var4 up)" 150 152)
  ("(var4 down)" 152 245)
  ("(var4 stable)" 245 274)
  ("(var1 stable)" 0 28)
  ("(var1 up)" 28 32)
  ("(var1 down)" 32 34)
  ("(var1 up)" 34 58)
  ("(var1 stable)" 58 60)
  ("(var1 up)" 60 62)
  ("(var1 stable)" 62 274)
  ("(var2 stable)" 0 45)
  ("(var2 up)" 45 47)
  ("(var2 down)" 47 52)
  ("(var2 stable)" 52 93)
  ("(var2 up)" 93 160)
  ("(var2 down)" 160 162)
  ("(var2 up)" 162 165)
  ("(var2 stable)" 165 274)
 )
)
(62
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 80)
  ("(var3 stable)" 80 83)
  ("(var3 up)" 83 108)
  ("(var3 stable)" 108 186)
  ("(var3 up)" 186 192)
  ("(var3 down)" 192 200)
  ("(var3 stable)" 200 202)
  ("(var3 up)" 202 206)
  ("(var3 stable)" 206 337)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 114)
  ("(var4 stable)" 114 197)
  ("(var4 down)" 197 302)
  ("(var4 stable)" 302 337)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 114)
  ("(var1 stable)" 114 337)
  ("(var2 stable)" 0 95)
  ("(var2 up)" 95 97)
  ("(var2 down)" 97 102)
  ("(var2 stable)" 102 141)
  ("(var2 up)" 141 234)
  ("(var2 stable)" 234 337)
 )
)
(63
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 74)
  ("(var3 stable)" 74 151)
  ("(var3 up)" 151 156)
  ("(var3 down)" 156 166)
  ("(var3 up)" 166 171)
  ("(var3 stable)" 171 301)
  ("(var4 stable)" 0 46)
  ("(var4 down)" 46 48)
  ("(var4 up)" 48 77)
  ("(var4 stable)" 77 190)
  ("(var4 down)" 190 258)
  ("(var4 stable)" 258 301)
  ("(var1 stable)" 0 48)
  ("(var1 up)" 48 76)
  ("(var1 stable)" 76 301)
  ("(var2 stable)" 0 62)
  ("(var2 up)" 62 66)
  ("(var2 down)" 66 68)
  ("(var2 up)" 68 184)
  ("(var2 down)" 184 186)
  ("(var2 up)" 186 192)
  ("(var2 stable)" 192 301)
 )
)
(64
 (
  ("(var3 stable)" 0 96)
  ("(var3 up)" 96 98)
  ("(var3 down)" 98 100)
  ("(var3 up)" 100 134)
  ("(var3 stable)" 134 214)
  ("(var3 up)" 214 224)
  ("(var3 down)" 224 234)
  ("(var3 up)" 234 239)
  ("(var3 stable)" 239 388)
  ("(var4 stable)" 0 100)
  ("(var4 up)" 100 138)
  ("(var4 stable)" 138 243)
  ("(var4 down)" 243 260)
  ("(var4 up)" 260 262)
  ("(var4 down)" 262 264)
  ("(var4 stable)" 264 266)
  ("(var4 down)" 266 336)
  ("(var4 stable)" 336 386)
  ("(var4 up)" 386 388)
  ("(var1 stable)" 0 100)
  ("(var1 up)" 100 135)
  ("(var1 stable)" 135 388)
  ("(var2 up)" 0 2)
  ("(var2 down)" 2 4)
  ("(var2 stable)" 4 116)
  ("(var2 up)" 116 120)
  ("(var2 down)" 120 124)
  ("(var2 stable)" 124 170)
  ("(var2 up)" 170 220)
  ("(var2 down)" 220 222)
  ("(var2 up)" 222 252)
  ("(var2 stable)" 252 256)
  ("(var2 up)" 256 261)
  ("(var2 stable)" 261 386)
  ("(var2 down)" 386 388)
 )
)
(65
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 100)
  ("(var3 stable)" 100 102)
  ("(var3 up)" 102 105)
  ("(var3 stable)" 105 192)
  ("(var3 up)" 192 197)
  ("(var3 down)" 197 207)
  ("(var3 up)" 207 212)
  ("(var3 stable)" 212 349)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 107)
  ("(var4 stable)" 107 233)
  ("(var4 down)" 233 235)
  ("(var4 stable)" 235 239)
  ("(var4 down)" 239 307)
  ("(var4 up)" 307 309)
  ("(var4 down)" 309 311)
  ("(var4 stable)" 311 349)
  ("(var1 stable)" 0 68)
  ("(var1 down)" 68 70)
  ("(var1 up)" 70 102)
  ("(var1 stable)" 102 349)
  ("(var2 stable)" 0 87)
  ("(var2 up)" 87 89)
  ("(var2 down)" 89 94)
  ("(var2 stable)" 94 139)
  ("(var2 up)" 139 207)
  ("(var2 stable)" 207 349)
 )
)
(66
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 80)
  ("(var3 stable)" 80 157)
  ("(var3 up)" 157 164)
  ("(var3 down)" 164 173)
  ("(var3 up)" 173 178)
  ("(var3 stable)" 178 316)
  ("(var4 stable)" 0 32)
  ("(var4 down)" 32 34)
  ("(var4 up)" 34 79)
  ("(var4 stable)" 79 171)
  ("(var4 up)" 171 173)
  ("(var4 down)" 173 175)
  ("(var4 up)" 175 178)
  ("(var4 down)" 178 280)
  ("(var4 stable)" 280 316)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 77)
  ("(var1 down)" 77 79)
  ("(var1 stable)" 79 316)
  ("(var2 stable)" 0 61)
  ("(var2 up)" 61 63)
  ("(var2 down)" 63 68)
  ("(var2 stable)" 68 111)
  ("(var2 up)" 111 188)
  ("(var2 stable)" 188 316)
 )
)
(67
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 98)
  ("(var3 stable)" 98 168)
  ("(var3 up)" 168 173)
  ("(var3 down)" 173 181)
  ("(var3 up)" 181 185)
  ("(var3 stable)" 185 307)
  ("(var4 stable)" 0 58)
  ("(var4 up)" 58 94)
  ("(var4 stable)" 94 203)
  ("(var4 down)" 203 263)
  ("(var4 stable)" 263 307)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 93)
  ("(var1 stable)" 93 307)
  ("(var2 stable)" 0 77)
  ("(var2 up)" 77 79)
  ("(var2 down)" 79 84)
  ("(var2 up)" 84 202)
  ("(var2 stable)" 202 307)
 )
)
(68
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 108)
  ("(var3 stable)" 108 182)
  ("(var3 up)" 182 186)
  ("(var3 down)" 186 194)
  ("(var3 up)" 194 198)
  ("(var3 stable)" 198 320)
  ("(var4 stable)" 0 78)
  ("(var4 up)" 78 115)
  ("(var4 stable)" 115 190)
  ("(var4 down)" 190 282)
  ("(var4 stable)" 282 320)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 111)
  ("(var1 stable)" 111 320)
  ("(var2 stable)" 0 94)
  ("(var2 up)" 94 96)
  ("(var2 down)" 96 103)
  ("(var2 up)" 103 212)
  ("(var2 stable)" 212 320)
 )
)
(69
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 106)
  ("(var3 down)" 106 108)
  ("(var3 stable)" 108 187)
  ("(var3 down)" 187 189)
  ("(var3 up)" 189 199)
  ("(var3 down)" 199 208)
  ("(var3 up)" 208 212)
  ("(var3 stable)" 212 353)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 110)
  ("(var4 stable)" 110 208)
  ("(var4 down)" 208 210)
  ("(var4 up)" 210 212)
  ("(var4 down)" 212 306)
  ("(var4 stable)" 306 353)
  ("(var1 stable)" 0 68)
  ("(var1 up)" 68 103)
  ("(var1 stable)" 103 353)
  ("(var2 stable)" 0 88)
  ("(var2 up)" 88 90)
  ("(var2 down)" 90 95)
  ("(var2 stable)" 95 140)
  ("(var2 up)" 140 142)
  ("(var2 down)" 142 144)
  ("(var2 up)" 144 226)
  ("(var2 stable)" 226 353)
 )
)
(70
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 93)
  ("(var3 stable)" 93 178)
  ("(var3 up)" 178 180)
  ("(var3 down)" 180 191)
  ("(var3 up)" 191 195)
  ("(var3 stable)" 195 338)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 97)
  ("(var4 stable)" 97 209)
  ("(var4 down)" 209 307)
  ("(var4 stable)" 307 338)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 98)
  ("(var1 stable)" 98 338)
  ("(var2 stable)" 0 77)
  ("(var2 up)" 77 79)
  ("(var2 down)" 79 84)
  ("(var2 stable)" 84 131)
  ("(var2 up)" 131 212)
  ("(var2 stable)" 212 338)
 )
)
(71
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 95)
  ("(var3 stable)" 95 167)
  ("(var3 up)" 167 172)
  ("(var3 down)" 172 181)
  ("(var3 up)" 181 184)
  ("(var3 stable)" 184 311)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 102)
  ("(var4 stable)" 102 181)
  ("(var4 down)" 181 294)
  ("(var4 up)" 294 296)
  ("(var4 stable)" 296 311)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 98)
  ("(var1 stable)" 98 311)
  ("(var2 stable)" 0 84)
  ("(var2 up)" 84 86)
  ("(var2 down)" 86 88)
  ("(var2 up)" 88 245)
  ("(var2 stable)" 245 311)
 )
)
(72
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 68)
  ("(var3 stable)" 68 147)
  ("(var3 up)" 147 151)
  ("(var3 down)" 151 160)
  ("(var3 up)" 160 165)
  ("(var3 stable)" 165 294)
  ("(var4 stable)" 0 36)
  ("(var4 up)" 36 38)
  ("(var4 down)" 38 40)
  ("(var4 up)" 40 68)
  ("(var4 stable)" 68 158)
  ("(var4 down)" 158 162)
  ("(var4 up)" 162 165)
  ("(var4 down)" 165 263)
  ("(var4 stable)" 263 294)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 66)
  ("(var1 stable)" 66 294)
  ("(var2 stable)" 0 52)
  ("(var2 up)" 52 54)
  ("(var2 down)" 54 59)
  ("(var2 stable)" 59 95)
  ("(var2 up)" 95 176)
  ("(var2 stable)" 176 294)
 )
)
(73
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 77)
  ("(var3 stable)" 77 154)
  ("(var3 up)" 154 159)
  ("(var3 down)" 159 169)
  ("(var3 up)" 169 171)
  ("(var3 stable)" 171 305)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 77)
  ("(var4 down)" 77 79)
  ("(var4 up)" 79 82)
  ("(var4 stable)" 82 166)
  ("(var4 down)" 166 258)
  ("(var4 up)" 258 260)
  ("(var4 stable)" 260 305)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 71)
  ("(var1 stable)" 71 305)
  ("(var2 stable)" 0 59)
  ("(var2 up)" 59 63)
  ("(var2 down)" 63 65)
  ("(var2 up)" 65 207)
  ("(var2 stable)" 207 305)
 )
)
(74
 (
  ("(var3 stable)" 0 94)
  ("(var3 up)" 94 124)
  ("(var3 stable)" 124 203)
  ("(var3 up)" 203 209)
  ("(var3 down)" 209 222)
  ("(var3 up)" 222 227)
  ("(var3 stable)" 227 360)
  ("(var4 stable)" 0 95)
  ("(var4 up)" 95 124)
  ("(var4 stable)" 124 212)
  ("(var4 up)" 212 217)
  ("(var4 down)" 217 219)
  ("(var4 up)" 219 221)
  ("(var4 down)" 221 250)
  ("(var4 up)" 250 252)
  ("(var4 down)" 252 311)
  ("(var4 stable)" 311 313)
  ("(var4 down)" 313 315)
  ("(var4 stable)" 315 358)
  ("(var4 up)" 358 360)
  ("(var1 stable)" 0 91)
  ("(var1 up)" 91 93)
  ("(var1 stable)" 93 95)
  ("(var1 up)" 95 101)
  ("(var1 stable)" 101 103)
  ("(var1 up)" 103 121)
  ("(var1 stable)" 121 123)
  ("(var1 up)" 123 125)
  ("(var1 stable)" 125 360)
  ("(var2 stable)" 0 108)
  ("(var2 up)" 108 110)
  ("(var2 down)" 110 115)
  ("(var2 up)" 115 212)
  ("(var2 down)" 212 215)
  ("(var2 up)" 215 253)
  ("(var2 stable)" 253 360)
 )
)
(75
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 94)
  ("(var3 stable)" 94 175)
  ("(var3 up)" 175 179)
  ("(var3 down)" 179 190)
  ("(var3 stable)" 190 192)
  ("(var3 up)" 192 197)
  ("(var3 stable)" 197 333)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 92)
  ("(var4 stable)" 92 203)
  ("(var4 down)" 203 297)
  ("(var4 up)" 297 299)
  ("(var4 down)" 299 301)
  ("(var4 stable)" 301 333)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 93)
  ("(var1 stable)" 93 333)
  ("(var2 stable)" 0 76)
  ("(var2 up)" 76 78)
  ("(var2 down)" 78 83)
  ("(var2 stable)" 83 129)
  ("(var2 up)" 129 212)
  ("(var2 down)" 212 214)
  ("(var2 stable)" 214 333)
 )
)
(76
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 102)
  ("(var3 stable)" 102 173)
  ("(var3 up)" 173 178)
  ("(var3 down)" 178 185)
  ("(var3 up)" 185 189)
  ("(var3 stable)" 189 312)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 67)
  ("(var4 down)" 67 69)
  ("(var4 up)" 69 104)
  ("(var4 stable)" 104 204)
  ("(var4 down)" 204 286)
  ("(var4 stable)" 286 312)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 101)
  ("(var1 stable)" 101 312)
  ("(var2 stable)" 0 84)
  ("(var2 up)" 84 86)
  ("(var2 down)" 86 90)
  ("(var2 stable)" 90 129)
  ("(var2 up)" 129 218)
  ("(var2 stable)" 218 312)
 )
)
(77
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 104)
  ("(var3 stable)" 104 183)
  ("(var3 up)" 183 188)
  ("(var3 down)" 188 198)
  ("(var3 up)" 198 203)
  ("(var3 stable)" 203 337)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 71)
  ("(var4 up)" 71 102)
  ("(var4 stable)" 102 198)
  ("(var4 down)" 198 302)
  ("(var4 stable)" 302 337)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 99)
  ("(var1 stable)" 99 337)
  ("(var2 stable)" 0 87)
  ("(var2 up)" 87 89)
  ("(var2 down)" 89 94)
  ("(var2 stable)" 94 136)
  ("(var2 up)" 136 223)
  ("(var2 stable)" 223 337)
 )
)
(78
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 92)
  ("(var3 down)" 92 94)
  ("(var3 stable)" 94 172)
  ("(var3 up)" 172 176)
  ("(var3 down)" 176 185)
  ("(var3 up)" 185 190)
  ("(var3 stable)" 190 319)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 94)
  ("(var4 stable)" 94 209)
  ("(var4 down)" 209 279)
  ("(var4 stable)" 279 317)
  ("(var4 up)" 317 319)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 61)
  ("(var1 stable)" 61 63)
  ("(var1 up)" 63 94)
  ("(var1 stable)" 94 319)
  ("(var2 stable)" 0 76)
  ("(var2 up)" 76 78)
  ("(var2 down)" 78 83)
  ("(var2 up)" 83 215)
  ("(var2 down)" 215 217)
  ("(var2 stable)" 217 319)
 )
)
(79
 (
  ("(var3 stable)" 0 65)
  ("(var3 up)" 65 105)
  ("(var3 stable)" 105 182)
  ("(var3 up)" 182 187)
  ("(var3 down)" 187 197)
  ("(var3 up)" 197 203)
  ("(var3 stable)" 203 342)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 104)
  ("(var4 stable)" 104 230)
  ("(var4 down)" 230 304)
  ("(var4 stable)" 304 342)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 98)
  ("(var1 stable)" 98 342)
  ("(var2 stable)" 0 84)
  ("(var2 up)" 84 88)
  ("(var2 down)" 88 93)
  ("(var2 up)" 93 215)
  ("(var2 down)" 215 217)
  ("(var2 up)" 217 219)
  ("(var2 stable)" 219 342)
 )
)
(80
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 71)
  ("(var3 stable)" 71 154)
  ("(var3 up)" 154 158)
  ("(var3 down)" 158 167)
  ("(var3 stable)" 167 169)
  ("(var3 up)" 169 171)
  ("(var3 stable)" 171 307)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 72)
  ("(var4 down)" 72 75)
  ("(var4 up)" 75 77)
  ("(var4 stable)" 77 167)
  ("(var4 down)" 167 270)
  ("(var4 stable)" 270 307)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 75)
  ("(var1 stable)" 75 307)
  ("(var2 stable)" 0 54)
  ("(var2 up)" 54 57)
  ("(var2 down)" 57 61)
  ("(var2 up)" 61 159)
  ("(var2 stable)" 159 161)
  ("(var2 up)" 161 204)
  ("(var2 stable)" 204 307)
 )
)
(81
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 75)
  ("(var3 down)" 75 77)
  ("(var3 up)" 77 108)
  ("(var3 stable)" 108 188)
  ("(var3 up)" 188 194)
  ("(var3 down)" 194 204)
  ("(var3 up)" 204 209)
  ("(var3 stable)" 209 348)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 103)
  ("(var4 down)" 103 106)
  ("(var4 stable)" 106 200)
  ("(var4 down)" 200 310)
  ("(var4 stable)" 310 348)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 75)
  ("(var1 stable)" 75 77)
  ("(var1 up)" 77 105)
  ("(var1 down)" 105 107)
  ("(var1 stable)" 107 348)
  ("(var2 stable)" 0 90)
  ("(var2 up)" 90 92)
  ("(var2 down)" 92 97)
  ("(var2 up)" 97 204)
  ("(var2 stable)" 204 348)
 )
)
(82
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 79)
  ("(var3 down)" 79 81)
  ("(var3 stable)" 81 83)
  ("(var3 up)" 83 115)
  ("(var3 stable)" 115 183)
  ("(var3 up)" 183 188)
  ("(var3 down)" 188 198)
  ("(var3 up)" 198 202)
  ("(var3 stable)" 202 326)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 113)
  ("(var4 stable)" 113 219)
  ("(var4 down)" 219 293)
  ("(var4 stable)" 293 326)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 113)
  ("(var1 stable)" 113 326)
  ("(var2 stable)" 0 98)
  ("(var2 up)" 98 100)
  ("(var2 down)" 100 104)
  ("(var2 stable)" 104 134)
  ("(var2 up)" 134 220)
  ("(var2 stable)" 220 326)
 )
)
(83
 (
  ("(var3 stable)" 0 65)
  ("(var3 up)" 65 101)
  ("(var3 stable)" 101 177)
  ("(var3 up)" 177 182)
  ("(var3 down)" 182 192)
  ("(var3 up)" 192 196)
  ("(var3 stable)" 196 334)
  ("(var4 stable)" 0 68)
  ("(var4 up)" 68 101)
  ("(var4 stable)" 101 202)
  ("(var4 down)" 202 283)
  ("(var4 up)" 283 285)
  ("(var4 down)" 285 289)
  ("(var4 stable)" 289 332)
  ("(var4 up)" 332 334)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 64)
  ("(var1 stable)" 64 66)
  ("(var1 up)" 66 96)
  ("(var1 stable)" 96 334)
  ("(var2 stable)" 0 81)
  ("(var2 up)" 81 83)
  ("(var2 down)" 83 88)
  ("(var2 stable)" 88 131)
  ("(var2 up)" 131 210)
  ("(var2 stable)" 210 334)
 )
)
(84
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 93)
  ("(var3 stable)" 93 169)
  ("(var3 up)" 169 174)
  ("(var3 down)" 174 184)
  ("(var3 up)" 184 188)
  ("(var3 stable)" 188 311)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 67)
  ("(var4 stable)" 67 69)
  ("(var4 up)" 69 92)
  ("(var4 stable)" 92 182)
  ("(var4 down)" 182 268)
  ("(var4 stable)" 268 270)
  ("(var4 down)" 270 272)
  ("(var4 stable)" 272 311)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 92)
  ("(var1 stable)" 92 311)
  ("(var2 stable)" 0 78)
  ("(var2 up)" 78 80)
  ("(var2 down)" 80 85)
  ("(var2 up)" 85 196)
  ("(var2 stable)" 196 311)
 )
)
(85
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 36)
  ("(var3 stable)" 36 38)
  ("(var3 up)" 38 70)
  ("(var3 stable)" 70 153)
  ("(var3 up)" 153 160)
  ("(var3 down)" 160 169)
  ("(var3 stable)" 169 171)
  ("(var3 up)" 171 175)
  ("(var3 stable)" 175 312)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 72)
  ("(var4 stable)" 72 163)
  ("(var4 down)" 163 283)
  ("(var4 stable)" 283 312)
  ("(var1 stable)" 0 32)
  ("(var1 up)" 32 69)
  ("(var1 stable)" 69 312)
  ("(var2 stable)" 0 54)
  ("(var2 up)" 54 56)
  ("(var2 down)" 56 61)
  ("(var2 up)" 61 169)
  ("(var2 down)" 169 171)
  ("(var2 up)" 171 174)
  ("(var2 stable)" 174 312)
 )
)
(86
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 66)
  ("(var3 down)" 66 68)
  ("(var3 up)" 68 91)
  ("(var3 stable)" 91 177)
  ("(var3 up)" 177 183)
  ("(var3 down)" 183 193)
  ("(var3 stable)" 193 195)
  ("(var3 up)" 195 199)
  ("(var3 stable)" 199 339)
  ("(var4 stable)" 0 57)
  ("(var4 down)" 57 59)
  ("(var4 up)" 59 95)
  ("(var4 stable)" 95 196)
  ("(var4 down)" 196 295)
  ("(var4 stable)" 295 339)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 90)
  ("(var1 stable)" 90 339)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 76)
  ("(var2 down)" 76 81)
  ("(var2 stable)" 81 128)
  ("(var2 up)" 128 225)
  ("(var2 stable)" 225 339)
 )
)
(87
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 77)
  ("(var3 stable)" 77 147)
  ("(var3 up)" 147 153)
  ("(var3 down)" 153 161)
  ("(var3 up)" 161 168)
  ("(var3 stable)" 168 296)
  ("(var4 stable)" 0 36)
  ("(var4 up)" 36 38)
  ("(var4 down)" 38 40)
  ("(var4 up)" 40 70)
  ("(var4 down)" 70 72)
  ("(var4 stable)" 72 187)
  ("(var4 down)" 187 190)
  ("(var4 up)" 190 192)
  ("(var4 down)" 192 251)
  ("(var4 stable)" 251 296)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 71)
  ("(var1 stable)" 71 296)
  ("(var2 stable)" 0 55)
  ("(var2 up)" 55 57)
  ("(var2 down)" 57 62)
  ("(var2 stable)" 62 106)
  ("(var2 up)" 106 195)
  ("(var2 stable)" 195 296)
 )
)
(88
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 99)
  ("(var3 stable)" 99 187)
  ("(var3 up)" 187 192)
  ("(var3 down)" 192 202)
  ("(var3 up)" 202 208)
  ("(var3 stable)" 208 345)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 104)
  ("(var4 stable)" 104 225)
  ("(var4 down)" 225 227)
  ("(var4 up)" 227 229)
  ("(var4 down)" 229 298)
  ("(var4 stable)" 298 345)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 101)
  ("(var1 stable)" 101 345)
  ("(var2 stable)" 0 85)
  ("(var2 up)" 85 87)
  ("(var2 down)" 87 92)
  ("(var2 up)" 92 207)
  ("(var2 stable)" 207 345)
 )
)
(89
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 38)
  ("(var3 stable)" 38 43)
  ("(var3 up)" 43 73)
  ("(var3 stable)" 73 159)
  ("(var3 up)" 159 164)
  ("(var3 down)" 164 175)
  ("(var3 up)" 175 179)
  ("(var3 stable)" 179 320)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 69)
  ("(var4 stable)" 69 188)
  ("(var4 down)" 188 256)
  ("(var4 stable)" 256 258)
  ("(var4 down)" 258 284)
  ("(var4 stable)" 284 320)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 37)
  ("(var1 down)" 37 39)
  ("(var1 up)" 39 70)
  ("(var1 stable)" 70 320)
  ("(var2 stable)" 0 53)
  ("(var2 up)" 53 57)
  ("(var2 down)" 57 61)
  ("(var2 stable)" 61 108)
  ("(var2 up)" 108 173)
  ("(var2 stable)" 173 320)
 )
)
(90
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 107)
  ("(var3 stable)" 107 184)
  ("(var3 up)" 184 188)
  ("(var3 stable)" 188 190)
  ("(var3 down)" 190 200)
  ("(var3 up)" 200 203)
  ("(var3 stable)" 203 336)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 103)
  ("(var4 stable)" 103 105)
  ("(var4 up)" 105 112)
  ("(var4 stable)" 112 223)
  ("(var4 down)" 223 307)
  ("(var4 stable)" 307 336)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 105)
  ("(var1 stable)" 105 107)
  ("(var1 up)" 107 109)
  ("(var1 stable)" 109 336)
  ("(var2 stable)" 0 91)
  ("(var2 up)" 91 93)
  ("(var2 down)" 93 98)
  ("(var2 up)" 98 204)
  ("(var2 down)" 204 206)
  ("(var2 up)" 206 208)
  ("(var2 stable)" 208 218)
  ("(var2 up)" 218 220)
  ("(var2 stable)" 220 336)
 )
)
(91
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 82)
  ("(var3 up)" 82 116)
  ("(var3 stable)" 116 200)
  ("(var3 up)" 200 206)
  ("(var3 down)" 206 217)
  ("(var3 up)" 217 222)
  ("(var3 stable)" 222 370)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 83)
  ("(var4 up)" 83 117)
  ("(var4 stable)" 117 213)
  ("(var4 down)" 213 321)
  ("(var4 stable)" 321 370)
  ("(var1 up)" 0 2)
  ("(var1 stable)" 2 81)
  ("(var1 up)" 81 116)
  ("(var1 stable)" 116 370)
  ("(var2 stable)" 0 98)
  ("(var2 up)" 98 100)
  ("(var2 down)" 100 105)
  ("(var2 up)" 105 236)
  ("(var2 stable)" 236 370)
 )
)
(92
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 124)
  ("(var3 stable)" 124 207)
  ("(var3 up)" 207 213)
  ("(var3 down)" 213 225)
  ("(var3 up)" 225 228)
  ("(var3 stable)" 228 378)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 83)
  ("(var4 down)" 83 85)
  ("(var4 up)" 85 117)
  ("(var4 stable)" 117 119)
  ("(var4 up)" 119 122)
  ("(var4 stable)" 122 251)
  ("(var4 down)" 251 327)
  ("(var4 stable)" 327 369)
  ("(var4 up)" 369 372)
  ("(var4 stable)" 372 378)
  ("(var1 stable)" 0 92)
  ("(var1 up)" 92 124)
  ("(var1 stable)" 124 378)
  ("(var2 stable)" 0 104)
  ("(var2 up)" 104 106)
  ("(var2 down)" 106 111)
  ("(var2 up)" 111 218)
  ("(var2 down)" 218 220)
  ("(var2 up)" 220 241)
  ("(var2 stable)" 241 378)
 )
)
(93
 (
  ("(var3 stable)" 0 83)
  ("(var3 up)" 83 85)
  ("(var3 stable)" 85 87)
  ("(var3 up)" 87 119)
  ("(var3 stable)" 119 198)
  ("(var3 up)" 198 204)
  ("(var3 down)" 204 214)
  ("(var3 up)" 214 219)
  ("(var3 stable)" 219 354)
  ("(var4 stable)" 0 87)
  ("(var4 down)" 87 89)
  ("(var4 up)" 89 122)
  ("(var4 down)" 122 125)
  ("(var4 stable)" 125 240)
  ("(var4 down)" 240 342)
  ("(var4 up)" 342 344)
  ("(var4 down)" 344 346)
  ("(var4 stable)" 346 352)
  ("(var4 down)" 352 354)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 84)
  ("(var1 up)" 84 86)
  ("(var1 stable)" 86 88)
  ("(var1 up)" 88 120)
  ("(var1 stable)" 120 354)
  ("(var2 stable)" 0 102)
  ("(var2 up)" 102 104)
  ("(var2 down)" 104 109)
  ("(var2 up)" 109 238)
  ("(var2 stable)" 238 354)
 )
)
(94
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 81)
  ("(var3 stable)" 81 160)
  ("(var3 up)" 160 165)
  ("(var3 down)" 165 174)
  ("(var3 up)" 174 179)
  ("(var3 stable)" 179 316)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 83)
  ("(var4 stable)" 83 176)
  ("(var4 down)" 176 178)
  ("(var4 up)" 178 180)
  ("(var4 down)" 180 209)
  ("(var4 stable)" 209 211)
  ("(var4 down)" 211 271)
  ("(var4 stable)" 271 273)
  ("(var4 down)" 273 275)
  ("(var4 stable)" 275 312)
  ("(var4 down)" 312 314)
  ("(var4 stable)" 314 316)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 79)
  ("(var1 down)" 79 81)
  ("(var1 stable)" 81 316)
  ("(var2 stable)" 0 63)
  ("(var2 up)" 63 67)
  ("(var2 down)" 67 70)
  ("(var2 up)" 70 220)
  ("(var2 stable)" 220 316)
 )
)
(95
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 74)
  ("(var3 stable)" 74 77)
  ("(var3 up)" 77 105)
  ("(var3 down)" 105 108)
  ("(var3 stable)" 108 186)
  ("(var3 up)" 186 192)
  ("(var3 down)" 192 201)
  ("(var3 up)" 201 207)
  ("(var3 stable)" 207 346)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 109)
  ("(var4 stable)" 109 186)
  ("(var4 down)" 186 188)
  ("(var4 up)" 188 190)
  ("(var4 stable)" 190 226)
  ("(var4 down)" 226 301)
  ("(var4 stable)" 301 342)
  ("(var4 up)" 342 344)
  ("(var4 down)" 344 346)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 102)
  ("(var1 stable)" 102 346)
  ("(var2 stable)" 0 89)
  ("(var2 up)" 89 91)
  ("(var2 down)" 91 96)
  ("(var2 stable)" 96 137)
  ("(var2 up)" 137 223)
  ("(var2 stable)" 223 346)
 )
)
(96
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 108)
  ("(var3 stable)" 108 182)
  ("(var3 up)" 182 188)
  ("(var3 down)" 188 199)
  ("(var3 up)" 199 205)
  ("(var3 stable)" 205 339)
  ("(var4 stable)" 0 73)
  ("(var4 down)" 73 75)
  ("(var4 up)" 75 109)
  ("(var4 stable)" 109 205)
  ("(var4 down)" 205 307)
  ("(var4 stable)" 307 339)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 102)
  ("(var1 stable)" 102 339)
  ("(var2 stable)" 0 89)
  ("(var2 up)" 89 91)
  ("(var2 down)" 91 96)
  ("(var2 up)" 96 216)
  ("(var2 stable)" 216 332)
  ("(var2 down)" 332 334)
  ("(var2 up)" 334 337)
  ("(var2 down)" 337 339)
 )
)
(97
 (
  ("(var3 stable)" 0 46)
  ("(var3 down)" 46 48)
  ("(var3 up)" 48 73)
  ("(var3 stable)" 73 154)
  ("(var3 up)" 154 156)
  ("(var3 down)" 156 165)
  ("(var3 up)" 165 171)
  ("(var3 stable)" 171 300)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 77)
  ("(var4 stable)" 77 179)
  ("(var4 down)" 179 291)
  ("(var4 stable)" 291 300)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 77)
  ("(var1 stable)" 77 300)
  ("(var2 stable)" 0 63)
  ("(var2 up)" 63 65)
  ("(var2 down)" 65 70)
  ("(var2 up)" 70 198)
  ("(var2 stable)" 198 300)
 )
)
(98
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 64)
  ("(var3 stable)" 64 66)
  ("(var3 up)" 66 99)
  ("(var3 stable)" 99 179)
  ("(var3 up)" 179 185)
  ("(var3 down)" 185 195)
  ("(var3 up)" 195 198)
  ("(var3 stable)" 198 340)
  ("(var4 stable)" 0 58)
  ("(var4 up)" 58 60)
  ("(var4 down)" 60 63)
  ("(var4 up)" 63 99)
  ("(var4 stable)" 99 186)
  ("(var4 down)" 186 188)
  ("(var4 up)" 188 191)
  ("(var4 down)" 191 227)
  ("(var4 stable)" 227 230)
  ("(var4 down)" 230 290)
  ("(var4 up)" 290 292)
  ("(var4 down)" 292 294)
  ("(var4 stable)" 294 340)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 90)
  ("(var1 stable)" 90 340)
  ("(var2 stable)" 0 75)
  ("(var2 up)" 75 79)
  ("(var2 down)" 79 83)
  ("(var2 stable)" 83 129)
  ("(var2 up)" 129 186)
  ("(var2 stable)" 186 189)
  ("(var2 up)" 189 223)
  ("(var2 down)" 223 225)
  ("(var2 stable)" 225 340)
 )
)
(99
 (
  ("(var3 stable)" 0 50)
  ("(var3 up)" 50 81)
  ("(var3 stable)" 81 166)
  ("(var3 up)" 166 171)
  ("(var3 down)" 171 182)
  ("(var3 stable)" 182 184)
  ("(var3 up)" 184 188)
  ("(var3 stable)" 188 328)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 93)
  ("(var4 stable)" 93 194)
  ("(var4 down)" 194 275)
  ("(var4 stable)" 275 280)
  ("(var4 down)" 280 282)
  ("(var4 stable)" 282 328)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 84)
  ("(var1 stable)" 84 328)
  ("(var2 down)" 0 2)
  ("(var2 stable)" 2 66)
  ("(var2 up)" 66 70)
  ("(var2 down)" 70 74)
  ("(var2 up)" 74 185)
  ("(var2 stable)" 185 328)
 )
)
(100
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 84)
  ("(var3 stable)" 84 163)
  ("(var3 up)" 163 166)
  ("(var3 stable)" 166 168)
  ("(var3 down)" 168 178)
  ("(var3 up)" 178 182)
  ("(var3 stable)" 182 321)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 50)
  ("(var4 stable)" 50 52)
  ("(var4 up)" 52 75)
  ("(var4 stable)" 75 164)
  ("(var4 down)" 164 275)
  ("(var4 stable)" 275 321)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 74)
  ("(var1 stable)" 74 76)
  ("(var1 up)" 76 78)
  ("(var1 stable)" 78 321)
  ("(var2 stable)" 0 62)
  ("(var2 up)" 62 64)
  ("(var2 down)" 64 69)
  ("(var2 up)" 69 196)
  ("(var2 stable)" 196 321)
 )
)
